<header>Admin server</header>

The host where the administration server is running. Typically this is the
Master Kerberos server.
<hr>
